(declare-sort c 0)

(declare-fun d () (Array c a))
(declare-fun f () (Array c a))
(declare-fun h () (Array c a))
(declare-fun k () (Array c (Array c a)))
(declare-fun l () (Array c (Array c a)))
(assert (forall ((e c)) (= (select k e) d)))
(assert (forall ((m c)) (= (select f m) j)))
(assert (forall ((g c)) (= (select l g) f)))
(assert (forall ((i c)) (= (select h i) b)))
(check-sat)
